Higher-order function - PDFSEARCH.IO - Document Search Engine

Higher-order function
Results: 126

#	Item
31	Zef : A Computer Vision Library for Haskell Saumitro Dasgupta Department of Computer Science Stanford University Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Functional languages Higher-order functions Haskell Literate programming OpenCV Map Fold ML Function Software engineering Computing Computer programming
32	Student Organization Registration Return completed form to the Activities & Resource Center All student organizations must be registered with the Student Activities Office in order to function on campus and enjoy campus Add to Reading List Source URL: www.kcad.edu Language: English - Date: 2010-11-02 13:51:58 Association of American Universities Massachusetts Institute of Technology Higher education Academia Education in the United States Student governments in the United States Student American Veterinary Medical Association Association of Public and Land-Grant Universities Association of Independent Technological Universities New England Association of Schools and Colleges
33	From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:33 Higher-order functions Fold Recursion Variadic function Functional programming FO Function Arity Append Software engineering Computing Computer programming
34	Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2008-10-23 00:04:30 Higher-order functions Recursion Functions and mappings Computability theory Fold Lambda calculus Map Function Antiderivative Mathematics Mathematical analysis Computing
35	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
36	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Function Unification Model theory Lambda calculus Μ operator Symbol Mathematics Mathematical logic Logic
37	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
38	Improved Higher-Order Differential Attacks on MISTY1 Achiya Bar On1? 1 Department of Mathematics Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-22 07:22:52 ICE Feistel cipher Differential cryptanalysis Key schedule Differential of a function Differential equation Differential Block cipher Cryptography MISTY1 KASUMI
39	 7  -      Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:19 Functional programming Functions and mappings Lambda calculus Subroutines Higher-order functions Currying Function Anonymous function Derivative Software engineering Declarative programming Mathematics
40	Pearls of XSLT/XPath 3.0 Design Add to Reading List Source URL: www.xfront.com Language: English - Date: 2013-01-08 07:12:23 Subroutines Functional programming Higher-order functions Lambda calculus Data types Anonymous function Function Partial application XSLT Software engineering Declarative programming Computing